Типы в языках программирования.